//typedef __builtin_va_list __gnuc_va_list;
typedef int __gnuc_va_list;
